Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software engineering --- 005.1 --- Computer software engineering --- Engineering --- programmatielogica --- 681.3*D20 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Computerwetenschap--?*D20 --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D2 --- Programming --- software engineering --- systeemontwikkeling (informatica) --- Software engineering.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- software engineering --- Software engineering --- 681.3*D2 --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Computer software engineering --- Engineering --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Computer science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Studying the challenges of problems from international programming competitions is an effective way to improve your algorithmic and coding skills and understanding. This new programming companion uses international programming competition-type problems to motivate the study of algorithms, programming, and other topics in computer science. The book includes more than 100 programming challenges, as well as the theory and key concepts necessary for approaching them. Problems are organized by topic and supplemented by complete tutorial material. Readers gain a concrete understanding of both algorithmic techniques and advanced coding topics. Unique features: Offers a wealth of programming problems suitable for self-study—all with online judging at www.programming-challenges.com Presents practice training for all the major programming contents—ACM International Collegiate Programming Contest (ACM ICPC), International Olympiad in Informatics (IOI), and Topcoder Challenge Serves as a convenient, web-based means for adding a programming component to any algorithms or software engineering course Contains complete working code for fundamental data structures and graph, string, numerical, and geometric algorithms Provides a brief-yet-thorough treatment of key elements of number theory, geometry, dynamic programming, and graph algorithms Supports all popular programming languages (C, C++, Pascal, Java).

Computer programming --- Computer programming. --- Programmeren. --- Programming --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science. --- Software engineering. --- Algorithms. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Computer software. --- Logic design. --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Foundations

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides the most complete formal specification of the semantics of the Business Process Model and Notation  (BPMN) 2.0 standard available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of modeling tools, software architects, or graduate students specializing in business process management.   BPMN – issued by the Object Management Group – is a widely used standard for business process modeling. However, major drawbacks of BPMN include its limited support for organizational modeling, its only implicit expression of modalities, and its lack of integrated user interaction and data modeling. Further, in many cases the syntactical and, in particular, semantic definitions of BPMN are inaccurate, incomplete or inconsistent. The book addresses concrete issues concerning the execution semantics of business processes and provides a formal definition of BPMN process diagrams, which can serve as a sound basis for further extensions, i.e., in the form of horizontal refinements of the core language. To this end, the Abstract State Machine (ASM) method is used to formalize the semantics of BPMN. ASMs have demonstrated their value in various domains, e.g. specifying the semantics of programming or modeling languages, verifying the specification of the Java Virtual Machine, or formalizing the ITIL change management process.   This kind of improvement promotes more consistency in the interpretation of comprehensive models, as well as real exchangeability of models between different tools. In the outlook at the end of the book, the authors conclude with proposing extensions that address actor modeling (including an intuitive way to denote permissions and obligations), integration of user-centric views, a refined communication concept, and data integration.

Management information systems. --- Workflow --- Business --- Management. --- Data processing --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Computer science. --- Industrial management. --- Software engineering. --- Application software. --- Computer Science. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- Business Process Management. --- Computer Appl. in Administrative Data Processing. --- Sociotechnical systems --- Information resources management --- Management --- Communication systems --- Information systems. --- Computer software engineering --- Engineering --- Business administration --- Business enterprises --- Business management --- Corporate management --- Corporations --- Industrial administration --- Management, Industrial --- Rationalization of industry --- Scientific management --- Industrial organization --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Information systems --- Computer. Automation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents a powerful new language and methodology for programming complex reactive systems in a scenario-based manner. The language is live sequence charts (LSCs), a multimodal extension of sequence charts and UML's sequence diagrams, used in the past mainly for requirements. The methodology is play-in/play-out, an unusually convenient means for specifying inter-object scenario-based behavior directly from a GUI or an object model diagram, with the surprising ability to execute that behavior, or those requirements, directly. The language and methodology are supported by a fully implemented tool – the Play-Engine – which is attached to the book in CD form. The design of reactive systems is one of the most challenging problems in computer science. This books starts with a critical insight to explain the problem: there is a fundamental gap between the scenario-based way in which people think about such systems and the state-based way in which these systems are implemented. The book then offers a radical proposal to bridge this gap by means of playing scenarios. Systems can be specified by playing in scenarios and implemented by means of a Play-Engine that plays out scenarios. This idea is carried out and developed, lucidly, formally and playfully, to its fullest. The result is a compelling proposal, accompanied by a prototype software engine, for reactive systems design, which is bound to cause a splash in the software-engineering community. Moshe Vardi, Rice University, Houston, Texas, USA Scenarios are a primary exchange tool in explaining system behavior to others, but their limited expressive power never made them able to fully describe systems, thus limiting their use. The language of Live Sequence Charts (LSCs) presented in this beautifully written book achieves this goal, and the attached Play-Engine software makes these LSCs really come alive. This is undoubtedly a key breakthrough that will start long-awaited and exciting new directions in systems specification, synthesis, and analysis. Gérard Berry, Esterel Technologies and INRIA, Sophia-Antipolis, France The approach of David Harel and Rami Marelly is a fascinating way of combining prototyping techniques with techniques for identifying behavior and user interfaces. Manfred Broy, Technical University of Munich, Germany.

Programming --- Software engineering --- System design --- Object-oriented programming (Computer science) --- Visual programming languages (Computer science) --- Computer aided design. --- Computer science. --- Computer simulation. --- Software engineering. --- Engineering & Applied Sciences --- Computer Science --- Computer programming. --- Programming languages (Electronic computers). --- Computer-aided engineering. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Simulation and Modeling. --- Computer-Aided Engineering (CAD, CAE) and Design. --- CAE --- Engineering --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Data processing